are-dependent-types-actually-erased
chadnauseam.com·3d·
Discuss: Hacker News
🧠llms
Flag this post
The Curved Spacetime of Transformer Architectures
arxiv.org·13h·
Discuss: Hacker News
🧠llms
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·1h·
Discuss: Hacker News
🧠llms
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·2h·
Discuss: Hacker News
🧠llms
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·4d·
Discuss: Hacker News
🧠llms
Flag this post
Marden's Theorem
en.wikipedia.org·4h·
Discuss: Hacker News
🧠llms
Flag this post
Ruby and Its Neighbors: Smalltalk
noelrappin.com·1d·
Discuss: Hacker News, r/programming
🧠llms
Flag this post
Pain Points of OCaml
quamserena.com·2d·
Discuss: Lobsters, Hacker News
🧠llms
Flag this post
Build123d (A Python CAD programming library) Roadmap
github.com·18h·
Discuss: Hacker News
🧠llms
Flag this post
Accumulating Context Changes the Beliefs of Language Models
lm-belief-change.github.io·11h·
Discuss: Hacker News
🧠llms
Flag this post
A Short Survey of Compiler Backends
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠llms
Flag this post
The English language doesn't exist – it's just French that's badly pronounced
frenchclasses.com·1h·
Discuss: Hacker News
🧠llms
Flag this post
Coding on Paper
thepalindrome.org·4h·
Discuss: Hacker News
🧠llms
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·4d·
Discuss: Hacker News
🧠llms
Flag this post
Embedding TypeScript
andrews.substack.com·7h·
Discuss: Substack, r/programming
🧠llms
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
🧠llms
Flag this post
Discrete Fourier Transform: Introduction (2020)
chciken.com·3h·
Discuss: Hacker News
🧠llms
Flag this post
Ethics by Spinoza
gutenberg.org·1d·
Discuss: Hacker News
🧠llms
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·23h·
Discuss: Hacker News
🧠llms
Flag this post
Complexity fills the space it's given
wilsoniumite.com·10h·
Discuss: Hacker News
🧠llms
Flag this post